This product contains certain software code or other information (\"AT&T Software\") proprietary to AT&T Corp. (\"AT&T\"). The AT&T Software is provided to you \"AS IS\". YOU ASSUME TOTAL RESPONSIBILITY AND RISK FOR USE OF THE AT&T SOFTWARE. AT&T DOES NOT MAKE, AND EXPRESSLY DISCLAIMS, ANY EXPRESS OR IMPLIED WARRANTIES OF ANY KIND WHATSOEVER, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, WARRANTIES OF TITLE OR NON-INFRINGEMENT OF ANY INTELLECTUAL PROPERTY RIGHTS, ANY WARRANTIES ARISING BY USAGE OF TRADE, COURSE OF DEALING OR COURSE OF PERFORMANCE, OR ANY WARRANTY THAT THE AT&T SOFTWARE IS \"ERROR FREE\" OR WILL MEET YOUR REQUIREMENTS. ")). :- lib(module_options). :- lib(graph_algorithms). :- lib(graphviz_license). :- local struct(options(graph_attrs, default_edge_attrs, default_node_attrs, node_attrs_generator, edge_attrs_generator, layout)). :-local(variable(graph_counter)),setval(graph_counter,0). valid_option_field(graph_attrs, graph_attrs of options). valid_option_field(default_edge_attrs, default_edge_attrs of options). valid_option_field(default_node_attrs, default_node_attrs of options). valid_option_field(node_attrs_generator, node_attrs_generator of options). valid_option_field(edge_attrs_generator, edge_attrs_generator of options). valid_option_field(layout, layout of options). valid_option_value(graph_attrs, Value) :- valid_attrs(Value). valid_option_value(default_edge_attrs, Value) :- valid_attrs(Value). valid_option_value(default_node_attrs, Value) :- valid_attrs(Value). valid_option_value(node_attrs_generator, Value) :- (atom(Value);compound(Value)). valid_option_value(edge_attrs_generator, Value) :- (atom(Value);compound(Value)). valid_option_value(layout, none). valid_option_value(layout, dot). valid_option_value(layout, neato). valid_option_value(layout, twopi). valid_option_value(layout, force_directed). valid_option_value(layout, radial). valid_option_value(layout, tree). valid_option_value(layout, top_to_bottom). valid_option_value(layout, left_to_right). valid_option_value(layout, [_|_]). default_options(options with [ graph_attrs:[], default_edge_attrs:[], default_node_attrs:[], node_attrs_generator:default_attrs_generator, edge_attrs_generator:default_attrs_generator, layout:dot ]). valid_attrs(V):-var(V),!. valid_attrs(Attrs):- (foreach(Attr,Attrs) do functor(Attr,_,2) ). validate_options(Options, OptionStruct):- ( get_options(Options, OptionStruct) -> true ; printf(error, "Invalid option list: %w%n", [Options]), print_default_options(error), abort ). :- comment(view_graph/1, [ summary:"Display a given graph in a window (using default options)", amode:view_graph(+), args:[ "Graph":"A graph structure" ], see_also:[view_graph/2,library(graph_algorithms)], eg:" ?- lib(graph_algorithms), lib(graphviz). Yes (1.17s cpu) ?- make_random_graph(10,30,true,true,true,G), view_graph(G). G = graph(...) Yes (0.03s cpu) " ]). :-export view_graph/1. :-tool(view_graph/1, view_graph_/2). view_graph_(Graph,Module):- view_graph_(Graph,[],Module). :- comment(view_graph/2, [ summary:"Display a given graph in a window", amode:view_graph(+,+), args:[ "Graph":"A graph structure", "Options":"A list of Option:Value pairs" ], see_also:[view_graph/1,library(graph_algorithms)], desc:html(" This predicate takes a graph, applies one of the graphviz layout routines to it, and displays the result in a viewer window.
Possible options are:
Possible options are as specified in view_graph/2.
Some possible formats are: ps, dot, png, gif, ... See the graphviz documentation for details. "), eg:" ?- lib(graph_algorithms), lib(graphviz). Yes (1.17s cpu) ?- make_random_graph(10,30,true,true,true,G), write_graph(G, \"mygraph\", png). G = graph(...) Yes (0.03s cpu) ?- make_random_graph(10,30,true,true,true,G), write_graph(G, \"mygraph\", dot). G = graph(...) Yes (0.03s cpu) " ]). :-export write_graph/4. :-tool(write_graph/4, write_graph_/5). write_graph_(Graph,File,Format,Options,Module):- validate_options(Options,ValidOptions), ( pathname(File, _, _, "") -> concat_string([File,.,Format], File1) ; File1 = File ), write_graph_valid(Graph, File1, Format, ValidOptions, Module). get_layout_command(Layout,[Command,"-Geclipse"]):- memberchk(Layout,[dot,neato,twopi]), !, get_flag(hostarch, ARCH), ( ARCH=="i386_nt" -> atom_string(Layout,Command) ; get_flag(installation_directory, ECLIPSEDIR), join_string([ECLIPSEDIR,lib,ARCH,Layout], "/", Command) ). get_layout_command([Layout|Rest],Command):- !, get_layout_command(Layout,LayoutCommand), append(LayoutCommand,Rest,Command). get_layout_command(radial,Command):- !, get_layout_command(twopi,Command). get_layout_command(network,Command):- !, get_layout_command(neato,Command). get_layout_command(force_directed,Command):- !, get_layout_command(neato,Command). get_layout_command(tree,Command):- !, get_layout_command(dot,Command). get_layout_command(top_to_bottom,Command):- !, get_layout_command(dot, C1), append(C1,["-Grankdir=TB"],Command). get_layout_command(left_to_right,Command):- !, get_layout_command(dot, C1), append(C1,["-Grankdir=LR"],Command). get_layout_command(Layout,Layout). write_graph_valid(Graph, File, Format, ValidOptions, Module):- ValidOptions = options with [layout:Layout], (Layout == none -> open(File, write, Stream), write_graph_stream(Graph, Stream, ValidOptions, Module), close(Stream) ; concat_string(["-T",Format],FormatStr), get_layout_command(Layout,LayoutCommand), os_file_name(File, FileOS), append(LayoutCommand, [FormatStr, "-o", FileOS], Command), exec(Command, [Stream], Pid), write_graph_stream(Graph, Stream, ValidOptions, Module), close(Stream), wait(Pid, _Status) ). write_graph_stream(Graph, S, ValidOptions, Module):- ValidOptions = options with [ graph_attrs:GAs, default_edge_attrs:EAs, default_node_attrs:NAs, node_attrs_generator:NAg, edge_attrs_generator:EAg ], writeln(S, "digraph g {"), write_graph_attrs(S, GAs), writeln_attrs(S, "node", NAs), writeln_attrs(S, "edge", EAs), graph_get_maxnode(Graph,MaxNode), (for(I,1,MaxNode), param(Graph,S,NAg,Module) do default_node_label(Graph, I, NLabel), ( NAg \= default_attrs_generator, (NAg = Module:Pred0 -> Pred0 =.. [NAfunctor|NAargs], append(NAargs, [Graph, I, NAttrs1], NAargs2), Pred =.. [NAfunctor|NAargs2], Goal = Module:Pred ; NAg =.. [NAfunctor|NAargs], append(NAargs, [Graph, I, NAttrs1], NAargs2), Goal =.. [NAfunctor|NAargs2] ), call(Goal)@Module -> NAttrs = [label=NLabel|NAttrs1] ; NAttrs = [label=NLabel] ), writeln_attrs(S, I, NAttrs) ), graph_get_all_edges(Graph,Edges), (foreach(Edge,Edges), param(Graph,S,EAg,Module) do Edge=e(From,To,_), ( EAg \= default_attrs_generator, (EAg = Module:Pred0 -> Pred0 =.. [EAfunctor|EAargs], append(EAargs, [Graph, Edge, EAttrs], EAargs2), Pred =.. [EAfunctor|EAargs2], Goal = Module:Pred ; EAg =.. [EAfunctor|EAargs], append(EAargs, [Graph, Edge, EAttrs], EAargs2), Goal =.. [EAfunctor|EAargs2] ), call(Goal)@Module -> (member(from_port=FromPort,EAttrs) -> concat_string([From,":",FromPort], FromString) ; FromString=From ), (member(to_port=ToPort,EAttrs) -> concat_string([To,":",ToPort], ToString) ; ToString=To ), true ; EAttrs = [], FromString=From, ToString=To ), writeln_attrs(S, FromString->ToString, EAttrs) ), writeln(S, "};"). % default_node_label(+Graph, +Node, -LabelString) default_node_label(Graph, Node, Label) :- ( node_to_nodename(Graph, Node, Name) -> ( string(Name) -> Label = Name ; atom(Name) -> atom_string(Name, Label) % avoid single quotes ; term_string(Name, Label) ) ; number_string(Node, Label) ). write_graph_attrs(S, GAs):- (foreach(Attr, GAs), param(S) do arg(1,Attr,Key), arg(2,Attr,Value), write(S,Key),write(S,'='),writeq(S,Value),writeln(S,';') ). writeln_attrs(S, Head, Attrs):- write(S, Head),write(S," ["), write_attrs(S, Attrs), writeln(S, "];"). write_attrs(_S, []). write_attrs(S, [A|Attrs]):- arg(1,A,Key), arg(2,A,Value), write(S,Key),write(S,'='),writeq(S,Value), (foreach(Attr,Attrs), param(S) do write(S,", "), arg(1,Attr,Key), arg(2,Attr,Value), write(S,Key),write(S,'='),writeq(S,Value) ). get_temp_filename(Filename):- getval(graph_counter,Num), incval(graph_counter), get_flag(tmp_dir, TmpDir), get_flag(pid, Pid), concat_string([TmpDir,"eclipse_",Pid,"_graphviz_",Num,".dot"],Filename). start_viewer(File):- % set up command according to architecture os_file_name(File, FileOS), get_java_command("com.parctechnologies.eclipse.jdotview.JDotView", [FileOS], ViewerCommand), % execute command % run_viewer_command(["dotty", File]). run_viewer_command(ViewerCommand). run_viewer_command(Command):- writeln(log_output, "Launching graph viewer..."), exec_group(Command, [], _Pid). get_java_command(MainClass, Args, [Java, Size, "-classpath", ClassPath, MainClass|Args]) :- get_flag(hostarch, ARCH), get_flag(installation_directory, ECLIPSEDIR), ( getenv("JRE_HOME", JRE_HOME_OS) -> os_file_name(JRE_HOME, JRE_HOME_OS) ; writeln(error, "Can't find JRE: Environment variable JRE_HOME, specifying location of the Java"), writeln(error, "Runtime Environment, has not been set."), abort ), concat_string([JRE_HOME, "/bin/"], JavaBin), ( existing_file(JavaBin, ['javaw.exe','java.exe',java], [executable], Java) -> true ; printf(error, "Can't find Java executable in %w%n", [JavaBin]), abort ), java_vm_size(JVM_SIZE), concat_string(["-Xmx", JVM_SIZE, "m"], Size), concat_string([ECLIPSEDIR, "/lib/grappa1_2.jar"], GrappaJar), os_file_name(GrappaJar, GrappaJarOS), concat_string([ECLIPSEDIR, "/lib/visualisation.jar"], VizJar), os_file_name(VizJar, VizJarOS), concat_string([JRE_HOME, "/lib/rt.jar"], RtJar), os_file_name(RtJar, RtJarOS), java_path_sep(ARCH, Sep), concat_string([GrappaJarOS,Sep,VizJarOS,Sep,RtJarOS,Sep], ClassPath). java_path_sep("i386_nt", (;)) :- !. java_path_sep(_, (:)). % max size of the virtual machine in megabytes java_vm_size(256). /* :-export test/1. test(Graph):- make_graph_symbolic( [](a,b,c,d,e,f,g,h,i,j,k,l,m), [ edge(a,f,1),edge(a,b,1),edge(a,g,1),edge(c,a,1),edge(d,f,1),edge(e,d,1), edge(f,e,1),edge(g,e,1),edge(g,j,1),edge(g,c,1),edge(h,g,1),edge(h,i,1),edge(i,h,1), edge(j,k,1),edge(j,l,1),edge(j,m,1),edge(l,g,1),edge(l,m,1),edge(m,l,1) ], Graph). */